A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
CLI tool that translates plain English into Linux commands
reddit.com·6h·
Discuss: r/linux
📝Shell Parsing
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
Let's Write a Macro in Rust
hackeryarn.com·5h·
Discuss: Hacker News
🦀Rust Macros
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·14h
📞Session Types
Lobsters Interview with Zdsmith
lobste.rs·16h·
Discuss: Lobsters
🔗Concatenative Programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
Comma scripts
perrotta.dev·22h
🐚Shell Automation
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·17h
⛪Church Encoding
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·21h
🌊Streaming Systems
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·7h·
Discuss: Hacker News
🌐Protocol Synthesis
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1h·
Discuss: DEV
🔍Concolic Testing
Categorical systems theory
topos.institute·9h
🔀Category Theory
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·2d
🤖Archive Automation